The aim of this paper is to assess the relevance of somatic evolution by natural selection to our understanding of cancer development. I do so in two steps. In the first part of the paper, I ask to what extent cancer cells meet the formal requirements for evolution by natural selection, relying on Godfrey-Smith’s (2009) framework of Darwinian populations. I argue that although they meet the minimal requirements for natural selection, cancer cells are not paradigmatic Darwinian populations. In the second (...) part of the paper, I examine the most important examples of adaptation in cancer cells. I argue that they are not significant accumulations of evolutionary changes, and that as a consequence natural selection plays a lesser role in their explanation. Their explanation, I argue, is best sought in the previously existing wiring of the healthy cells. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

This paper reviews Deleuze’s theory of language in Logic of Sense, and Deleuze and Guattari’s theory of language in A Thousand Plateaus. In the ontology informed by the Stoics described in those books, human being and language do not exist separately but in a mixture of words and things. The author argues that this flattened ontology of surfaces is incommensurable with the ontology of depth used in conventional humanist qualitative methodology and recommends beginning new empirical inquiry with a concept instead (...) of with method and methodology. (shrink)

In a paper published in Psychological Review, Tyler Burge has offered a unified non-mentalistic account of a wide range of social cognitive developmental findings. His proposal is that far from attributing mental states, young children attribute to humans the same kind of internal generic states of sensory registration that biologists attribute to e.g. snails and ticks. Burge’s proposal deserves close attention: it is especially challenging because it departs from both the mentalistic and all the non-mentalistic accounts of the data so (...) far. Moreover Burge has been one of the leading philosophers of mind of the past 40 years and some of his writings on the objectivity of perception display a deep understanding of the relevance of science for sharpening our understanding of the mind. After taking a close look at the developmental evidence, in particular at false-belief studies, I argue that Burge’s, 409–434, 2018) account faces severe obstacles. To give one telling example: if young children can only attribute to others sensory registrations, then it is hard to explain the evidence showing that they respond differently to an agent’s ignorance and to her false belief. (shrink)

In our critical review of Doing without Concepts, we argue that although the heterogeneity hypothesis (according to which exemplars, prototypes and theories are natural kinds that should replace ‘concept’) may end fruitless debates in the psychology of concepts, Edouard Machery did not anticipate one consequence of his suggestion: Definitions now acquire a new status as another one of the bodies of information replacing ‘concept’. In order to support our hypothesis, we invoke dual-process models to suggest that prototypes, exemplars and theories (...) are ‘Type 1’ concepts (automatic, implicit) and definitions ‘Type 2’ concepts (controlled, explicit). In the context of this argument, we suggest that one must better distinguish between Type 1 theories (e.g., Bayesian causal nets) and Type 2 theories (e.g., scientific) that explicitly control definitions. (shrink)

In multicellular organisms, cells are frequently programmed to die. This makes good sense: cells that fail to, or are no longer playing important roles are eliminated. From the cell’s perspective, this also makes sense, since somatic cells in multicellular organisms require the cooperation of clonal relatives. In unicellular organisms, however, programmed cell death poses a difficult and unresolved evolutionary problem. The empirical evidence for PCD in diverse microbial taxa has spurred debates about what precisely PCD means in the case of (...) unicellular organisms. In this article, we survey the concepts of PCD in the literature and the selective pressures associated with its evolution. We show that definitions of PCD have been almost entirely mechanistic and fail to separate questions concerning what PCD fundamentally is from questions about the kinds of mechanisms that realize PCD. We conclude that an evolutionary definition is best able to distinguish PCD from closely related phenomena. Specifically, we define “true” PCD as an adaptation for death triggered by abiotic or biotic environmental stresses. True PCD is thus not only an evolutionary product but must also have been a target of selection. Apparent PCD resulting from pleiotropy, genetic drift, or trade-offs is not true PCD. We call this “ersatz PCD.”. (shrink)

Cet article propose une interprétation de la métaphysique de Jankélévitch telle qu’elle se présente dans Philosophie première (1953). L’élaboration d’une déontologie métaphysique conduit Jankélévitch, par-delà le destin onto-théologique des métaphysiques classiques, à déployer une théologie « désontologisée », c’est-à-dire un discours sur Dieu dépouillé de l’être et de l’existence. Une telle détermination théologique de la métaphysique met alors nécessairement le métaphysicien à l’épreuve de l’expression de ce qui n’existe pas et qui pourtant fait exister. Ce que nous comprenons ainsi comme (...) un échec du discours métaphysique sur son objet théologique, dans l’ordre de la métaphysique, possède toutefois une fonction dans l’œuvre de Jankélévitch : fournir son modèle à l’action morale humaine. Dans un double mouvement, cette lecture achemine donc la métaphysique vers la théologie, avant de redéployer la morale depuis cette théologie. (shrink)

How can we best understand human cognitive architectural variability? We believe that the relationships between theories in neurobiology, cognitive science and evolutionary biology posited by evolutionary psychology’s Integrated Causal Model has unduly supported various essentialist conceptions of the human cognitive architecture, monomorphic minds, that mask HCA variability, and we propose a different set of relationships between theories in the same domains to support a different, non-essentialist, understanding of HCA variability. To set our case against essentialist theories of HCA variability, we (...) detail the general notion of an ICM and the specific ICM at the heart of evolutionary psychology. We briefly illustrate the type of essentialism fostered by evolutionary psychology’s ICM by showing how it grounds essentialist theories of cognitive gender. We shall not criticize these theories here since the literature is replete with compelling objections to them, but shall instead focus on motivating a replacement ICM to destabilize evolutionary psychology’s ICM wholesale. ICMs usually span larger than the models they support, hence larger than arguments against these models, and one reason the essentialist theories addressed here have the kind of staying power they do is that they are partly supported by the ICM in which they are grounded. In short, we offer “A New Hope” against the essentialist empire. True to the Hollywood trope, this new hope rests on an alliance between a young theory, cognitive network neuroscience, and two older, but still quite young, epistemic rebels: enactive cognitive science and developmental systems theory. Accordingly, we detail and discuss the proposed emerging ICM and test-drive it by sketching the multimorphic view of gender it grounds. (shrink)

Besides the application of the notion of complementarity to psychological and physical descriptions of the individual, this paper explores the possibility of defining complementary observables in the same phenomenal domain. Complementary emotional observables are defined from experimental data on experienced emotions reported by subjects who have been prepared in a state of induced emotion. Complementary physiological observables are defined in correspondence with conjugate, physiological quantities that can be measured. -/- Keywords: Complementarity, Psychophysics, Emotional observables, Induced emotion, Physiological observables, Conjugate physiological (...) quantities. (shrink)

Qu'est-ce que penser? Qu'est-ce que la pensée? À quelles conditions un être est-il conscient? Une douleur, une expérience olfactive, une perception visuelle, une intention, une croyance et un remords ont-ils une nature mentale commune? Si oui, la science peut-elle la découvrir? Le concept d'intentionnalité a été introduit en philosophie afin de clarifier le contenu de ces questions. Il désigne la capacité de viser mentalement des objets et de se représenter mentalement des états de choses. Ce livre analyse les problèmes soulevés (...) par l'introduction du concept d'intentionnalité dans la philosophie contemporaine. Il montre d'abord comment la philosophie du langage du XXe siècle a tenté de résoudre les énigmes logiques et ontologiques engendrées par la définition de l'intentionnalité. Il montre ensuite que la question centrale de la philosophie de l'esprit du XXe siècle a été de savoir si l'intentionnalité est la caractéristique distinctive des phénomènes mentaux : de tous les phénomènes mentaux et d'eux seuls. Remerciements Introduction Chapitre premier. L'ordre mental cartésien Chapitre 2. L'héritage ontologique de Brentano Chapitre 3. La logique et le défi des objets inexistants Chapitre 4. La référence directe Chapitre 5. L'intensionnalité est-elle un critère de l'intentionnalité? Chapitre 6. Les variétés de l'intentionnalité Chapitre 7. L'intentionnalité est-elle la propriété exclusive des phénomènes mentaux? Chapitre 8. Peut-on naturaliser l'intentionnalité? Chapitre 9. À quoi sert l'intentionnalité? Chapitre 10. Tous les phénomènes mentaux possèdent-ilsl'intentionnalité? Conclusion Bibliographie Index. (shrink)

A Bell-type strategy of decision for the long-standing question of the nature of psychophysical correlations has been previously presented in a recent article published in Mind and Matter. This strategy of decision is here applied to experimental data on psychophysiological correlations, namely, correlations between cardiovascular and emotional variables that have been reported in several independent publications. This statistical analysis shows that a substantial majority of these correlations cannot be interpreted as an exchange of signals or a mere “interaction”, whatever its (...) form, but that these correlations could a priori be explained classically, as the result of a common preparation during the evolution process. A discussion on the scope and the limitations of this result will then be provided. In particular, alternative explanations of the psychophysical correlations that do not appeal to a notion of signalling will be discussed. (shrink)

RESUMEN El artículo examina el consuelo como una cuestión filosófica en cuanto que concreción de la solicitud, y muestra los recursos que aporta para comprender al ser humano como sujeto sufriente y respondiente. Se analiza el consuelo en cuanto que fenómeno de acceso a otras dimensiones constitutivas del ser humano, como la afectividad, la apelación y el cuidado. ABSTRACT The article examines consolation as a philosophical issue insofar as it is a materialization of attentiveness, and explains the resources it offers (...) to understand human beings as suffering and caring subjects. It analyzes consolation as a phenomenon that provides access to other constitutive dimensions of the human being, such as affectivity, appeal, and care. (shrink)

"L'imagination comme faculté et les imaginaires comme accumulation des produits de cette faculté dans la culture constituent un chantier en philosophie. L'étude de l'imagination a été intégrée dans le criticisme par Kant, mais non approfondie du fait des "chimères" que l'imagination engendre pour lui. La faculté logico-formelle a ainsi pris le dessus, au point de devenir le paradigme de notre société. En 1929, pour régler le sort des néokantiens de Marbourg, Heidegger interdit tout droit de cité à une quelconque légitimité (...) philosophique de la culture -- et partant, à désigner l'imagination comme un univers libre de mystification. Ce livre cherche à démontrer une histoire de la légitimité de la philosophie des imaginaires, renforçant la pertinence de la culture prise comme univers symbolique à partir duquel requalifier les paradigmes de notre époque. Les théories de la connaissance gagneraient à s'enrichir de toutes les formes de l'art qui ne sont ni moins rigoureuses, ni moins cosmogéniques que ne le sont les sciences. Il ne peut y avoir de progrès du point de vue de la conscience humaine dans une conception de celle-ci qui refuse toute la dimension esthético-formelle."--Page 4 of cover. (shrink)

This paper discusses the issue of whether we have responsibilities to future generations with respect to genetic screening, including for purposes of selective abortion or discard. Future generations have been discussed at length among scholars. The concept of ‘Guardianfor Future Generations’ is tackled and its main criticisms discussed. Whilst germ-line cures, it is argued, can only affect family trees, genetic screening and testing can have wider implications. If asking how this may affect future generations is a legitimate question and since (...) we indeed make retrospective moral judgements, it would be wise to consider that future generations will make the same retrospective judgements on us. Moreover such technologies affect present embryos to which we indeed can be considered to have an obligation. (shrink)